Specifications in the Development Process: An AsmL Demonstration
نویسندگان
چکیده
AsmL is a specification system for software modeling, test generation, test validation, and implementation verification. It comprises a formal specification language, a set of libraries, and a test tool. It is integrated into the .NET Framework and Microsoft development tools. It has multiple source notations that can be used in a literate programming style either in an XML format or embedded within Microsoft Word. Specifications written in the system are executable, a novel feature which allows for semi-automatic test-case generation. In addition, the system can dynamically monitor an implementation to ensure that it conforms to its specification.
منابع مشابه
SAVCBS 2003: Specification and Verification of Component-Based Systems
OO Big O 80 Joan Krone (Denison University) and W. F. Ogden (The Ohio State University) Ontology-based Description and Reasoning for Component-based Development on the Web 84 Claus Pahl (Dublin City University) Modeling Multiple Aspects of Software Components 88 Roshanak Roshandel and Nenad Medvidovic (University of Southern California, Los Angeles) Reasoning About Parameterized Components with...
متن کاملFlexible incremental development by integrating specification and code
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In this approach, the architect provides a specification for each module in the module architecture view. While specifications must precisely describe the interactions among modules, they may abstract some of the functiona...
متن کاملAn Executable Specification of C++
The Abstract State Machines (ASMs) theory has been applied to rigorously formalize the semantics of the C♯ programming language. The developed ASM model is validated here by providing an executable model which supports the experimentation with the ASM model. The executable model is a refinement of the ground model and is implemented in AsmL – the Abstract State Machine Language, which is embedd...
متن کاملSpecification Languages and Their Use (Case: AsmL)
Specification languages are an integral part of software development. They enable concise and exact specification of software systems on different abstraction levels. Specification languages have many uses: they are used as an intermediary step from requirements towards implementation; they are used to verify critical properties of complex systems such as safety and liveness, and specifications...
متن کاملA Design for Verification Approach Using an Embedding of PSL in aSML
In this paper, we propose to integrate an embedding of Property Specification Language (PSL) in Abstract State Machines Language (AsmL) with a top-down design for verification approach in order to enable the model checking of large systems at early stages of the design process. We provide a complete embedding of PSL in the ASM language AsmL, which allows us to integrate PSL properties as part o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003